تعداد ۵ پاسخ غیر تکراری از ۵ پاسخ تکراری در مدت زمان ۳,۱۲ ثانیه یافت شد.

1. Adapting proofs-as-programs

المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :

E-BOOK

2. Adapting proofs-as-programs

المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :

E-BOOK

3. Adapting proofs-as-programs

المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :

QA

,

9

.

54

,.

P64

,

2005

4. programs-as-Adapting proofs

المؤلف: / Iman Poernomo, John N. Crossley, Martin Wirsing

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :

E-BOOK

5. programs-as-Adapting proofs

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها